static uint64_t errol_enum4[466] = {
	0x47f52d02c7e14af7,
	0x2014763e2d29291e,
	0x677a77581053543b,
	0x0a4b7c8885a5bcbd,
	0x2c2379f099a86227,
	0x57e561def4a9ee32,
	0x78647e17e7814ce7,
	0x04028e9bddd30518,
	0x1544c0b3a63c1444,
	0x245441ed79830181,
	0x3864faba79ea92ed,
	0x4dca53bb31b369a2,
	0x5d4094f8a44b87eb,
	0x714fb4840532a9e5,
	0x7df22815078cb97b,
	0x0180a0f3c55062c6,
	0x072648ffb617bd5d,
	0x0fe6b100e18e5c17,
	0x1e3035e7b5183922,
	0x21ece77c2b3328fb,
	0x27bbb4c6bd8601bd,
	0x317d2ec75df6ba2a,
	0x3c595ad1185480be,
	0x4bba32ac316fb3ac,
	0x514c84c524ab5eb0,
	0x599fcb0522ea3d13,
	0x65f307fcada17caf,
	0x6b3ef9beaa7aa583,
	0x74c066a8eaba3a85,
	0x7c0c283ffc61c87d,
	0x7eb6202598194bee,
	0x00db7aa3d73f6658,
	0x02d24484056b3698,
	0x05898e3445512a6e,
	0x0906e17ae0bbef8c,
	0x0e004273b18918b0,
	0x1504c0b3a63c1444,
	0x18a710b7a2ef18b8,
	0x1e7035e7b5183922,
	0x21ace77c2b3328fb,
	0x222ce77c2b3328fb,
	0x24ab23b50fc204db,
	0x298c2c31a31998ae,
	0x308ddc7e975c5045,
	0x329f5a18504dfaac,
	0x3a978cfcab31064d,
	0x3df5c6714def374d,
	0x498fc1562f08f124,
	0x4cf5e0a2180361db,
	0x4ec9a2c2a34ac2f9,
	0x57763ae2caed4527,
	0x582561def4a9ee32,
	0x5c2af5b5378aa2e5,
	0x60e06c3f03862bdd,
	0x672dcfee6690ffc7,
	0x6817127e05b09cd9,
	0x6df68f08add9cede,
	0x738a37935f3b71c8,
	0x78447e17e7814ce7,
	0x78847e17e7814ce7,
	0x7d52a5daf9226f04,
	0x7e122815078cb97b,
	0x7ef5bc471d5456c7,
	0x002d243f646eaf52,
	0x010b7aa3d73f6658,
	0x02924484056b3698,
	0x03c28e9bddd30518,
	0x04a6fd91caca719c,
	0x06c2a88ce7d4dd4d,
	0x08ac25584881552a,
	0x097822507db6a8fe,
	0x0c53165633977bc9,
	0x0e204273b18918b0,
	0x12356adf25569d1f,
	0x1534c0b3a63c1443,
	0x176090684f5fe998,
	0x1d3b1ad9101b1bfd,
	0x1e5035e7b5183922,
	0x1fd5a79c4e71d028,
	0x218ce77c2b3328fb,
	0x21cce77c2b3328fb,
	0x220ce77c2b3328fb,
	0x23a871f007a1693f,
	0x247441ed79830181,
	0x277aacfcb88c92d7,
	0x28306c776866677a,
	0x29ac2c31a31998ae,
	0x2db97a2a205f591e,
	0x3149190e30e46c1d,
	0x32448050091c3c25,
	0x37f25d342b1e33e6,
	0x3a778cfcab31064d,
	0x3b156d589dc3d0e2,
	0x3d9bcea0ec21e250,
	0x3e54f3d34a0e780e,
	0x49630d9a1c3890b0,
	0x4baa32ac316fb3ab,
	0x4cb486d41578e48d,
	0x4daa53bb31b369a2,
	0x4ea9a2c2a34ac2f9,
	0x50cb3a29c72cab91,
	0x52f11926d079e00a,
	0x578d03017d07fcd7,
	0x580561def4a9ee32,
	0x584561def4a9ee32,
	0x5b55ed1f039cebfe,
	0x5c7cf45d333da323,
	0x5e1780695036a67a,
	0x63b546c6714d7c6e,
	0x661307fcada17caf,
	0x674dcfee6690ffc7,
	0x67f7127e05b09cd9,
	0x69112de7f9578af2,
	0x6bdf20938e7414bb,
	0x707f9508f7b6cfb2,
	0x735caa2ddb438844,
	0x739a37935f3b71c8,
	0x764d465ea472194b,
	0x78547e17e7814ce7,
	0x78747e17e7814ce7,
	0x7964066d88c7cab7,
	0x7c1c283ffc61c87d,
	0x7d8220e1772428d7,
	0x7e022815078cb97b,
	0x7e222815078cb97b,
	0x7ec6202598194bee,
	0x7f9914e03c9260ef,
	0x001d243f646eaf52,
	0x00bb7aa3d73f6658,
	0x00f5d15b26b80e30,
	0x01246708fa963825,
	0x01f393b456eef178,
	0x02b24484056b3698,
	0x03a28e9bddd30518,
	0x03e28e9bddd30518,
	0x044f5db8c32b02fc,
	0x05798e3445512a6e,
	0x06b2a88ce7d4dd4d,
	0x06e8b03fd6894b67,
	0x089c25584881552a,
	0x08f6e17ae0bbef8c,
	0x096822507db6a8fe,
	0x09e41934d77659bf,
	0x0c43165633977bc9,
	0x0c63165633977bc9,
	0x0e104273b18918b0,
	0x0e304273b18918b0,
	0x11e55c1c37c286f3,
	0x13627383c5456c5e,
	0x1524c0b3a63c1443,
	0x154172fd8f381a15,
	0x175090684f5fe998,
	0x179f011e0f7a3ab7,
	0x1d1b1ad9101b1bfd,
	0x1e08af7cb0c01b41,
	0x1e4035e7b5183922,
	0x1e6035e7b5183922,
	0x1fad6f8eb6213e5d,
	0x1fe5a79c4e71d028,
	0x20e8823a57adbef8,
	0x219ce77c2b3328fb,
	0x21bce77c2b3328fb,
	0x21dce77c2b3328fb,
	0x21fce77c2b3328fb,
	0x221ce77c2b3328fb,
	0x222f6cb70e77ef25,
	0x243441ed79830181,
	0x246441ed79830181,
	0x248b23b50fc204db,
	0x275aacfcb88c92d7,
	0x279aacfcb88c92d7,
	0x27cbb4c6bd8601bd,
	0x297c2c31a31998ae,
	0x299c2c31a31998ae,
	0x2bdec922478c0421,
	0x2d997a2a205f591f,
	0x2fa387cf9cb4ad4e,
	0x30dddc7e975c5045,
	0x3159190e30e46c1d,
	0x31a3b28b27523ea6,
	0x328f5a18504dfaac,
	0x361dde4a4ab13e09,
	0x3854faba79ea92ed,
	0x38c5d50974bf314f,
	0x3a878cfcab31064d,
	0x3aa78cfcab31064d,
	0x3bb7123726f69593,
	0x3c80e935752cabba,
	0x3dd5c6714def374d,
	0x3e52aac70665485f,
	0x3e64f3d34a0e780d,
	0x490cd230a7ff47c4,
	0x496fc1562f08f125,
	0x4b9a32ac316fb3ab,
	0x4bb8862481ccada3,
	0x4c85564fb098c955,
	0x4cd5e0a2180361db,
	0x4d9a53bb31b369a1,
	0x4dba53bb31b369a2,
	0x4e99a2c2a34ac2f9,
	0x4eb9a2c2a34ac2f9,
	0x4ed9a2c2a34ac2f9,
	0x50eb3a29c72cab91,
	0x51e71760b3c0bc14,
	0x54363ed4a60c9c90,
	0x57863ae2caed4527,
	0x57d561def4a9ee32,
	0x57f561def4a9ee32,
	0x581561def4a9ee32,
	0x583561def4a9ee32,
	0x585561def4a9ee32,
	0x59d0dd8f2788d69a,
	0x5b75ed1f039cebfe,
	0x5c4af5b5378aa2e5,
	0x5cb3d8886a766a20,
	0x5d5094f8a44b87eb,
	0x5e2780695036a67a,
	0x61868d1ffa0777c8,
	0x65081511e1b2c2db,
	0x660307fcada17caf,
	0x671dcfee6690ffc6,
	0x673dcfee6690ffc7,
	0x675dcfee6690ffc6,
	0x67e7127e05b09cd9,
	0x6807127e05b09cd9,
	0x6827127e05b09cd9,
	0x6a6cc08102f0da5c,
	0x6b4ef9beaa7aa583,
	0x6d4b9445072f4375,
	0x6e8e56899011f2ba,
	0x70c8f9a69e7563bd,
	0x728279b2c40fddb6,
	0x737a37935f3b71c9,
	0x738a37935f3b71c9,
	0x739a37935f3b71c9,
	0x74c066a8eaba3a86,
	0x76e65e54d2cde95b,
	0x78447e17e7814ce8,
	0x78547e17e7814ce8,
	0x78647e17e7814ce8,
	0x78747e17e7814ce8,
	0x78847e17e7814ce8,
	0x7964066d88c7cab8,
	0x7c0c283ffc61c87e,
	0x7c1c283ffc61c87e,
	0x7d52a5daf9226f05,
	0x7d8220e1772428d8,
	0x7df22815078cb97c,
	0x7e022815078cb97c,
	0x7e122815078cb97c,
	0x7e222815078cb97c,
	0x7eb6202598194bef,
	0x7ec6202598194bef,
	0x7ef5bc471d5456c8,
	0x7fefffffffffffff,
	0x001d243f646eaf51,
	0x002d243f646eaf51,
	0x00ab7aa3d73f6658,
	0x00cb7aa3d73f6658,
	0x00eb7aa3d73f6658,
	0x00fb7aa3d73f6658,
	0x011b7aa3d73f6658,
	0x012b7aa3d73f6658,
	0x0190a0f3c55062c6,
	0x02824484056b3698,
	0x02a24484056b3698,
	0x02c24484056b3698,
	0x037be9d5a60850b5,
	0x03b28e9bddd30518,
	0x03d28e9bddd30518,
	0x03f28e9bddd30518,
	0x04128e9bddd30518,
	0x0496fd91caca719c,
	0x04b6fd91caca719c,
	0x05798e3445512a6f,
	0x05898e3445512a6f,
	0x06b2a88ce7d4dd4e,
	0x06c2a88ce7d4dd4e,
	0x06f8b03fd6894b67,
	0x089c255848815529,
	0x08ac255848815529,
	0x08f6e17ae0bbef8b,
	0x0906e17ae0bbef8b,
	0x096822507db6a8fd,
	0x097822507db6a8fd,
	0x09e41934d77659be,
	0x0a3b7c8885a5bcbd,
	0x0b8f3d82e9356287,
	0x0c43165633977bca,
	0x0c53165633977bca,
	0x0c63165633977bca,
	0x0e004273b18918b1,
	0x0e104273b18918b1,
	0x0e204273b18918b1,
	0x0e304273b18918b1,
	0x0fe6b100e18e5c18,
	0x11f55c1c37c286f3,
	0x12356adf25569d20,
	0x13627383c5456c5f,
	0x1514c0b3a63c1444,
	0x1524c0b3a63c1444,
	0x1534c0b3a63c1444,
	0x1544c0b3a63c1443,
	0x175090684f5fe997,
	0x176090684f5fe997,
	0x178f011e0f7a3ab7,
	0x18a710b7a2ef18b7,
	0x1b5ebddc6593c857,
	0x1d2b1ad9101b1bfd,
	0x1d61faf3ee7c360a,
	0x1e08af7cb0c01b42,
	0x1e3035e7b5183923,
	0x1e4035e7b5183923,
	0x1e5035e7b5183923,
	0x1e6035e7b5183923,
	0x1e7035e7b5183923,
	0x1fd5a79c4e71d027,
	0x1fe5a79c4e71d027,
	0x2014763e2d29291d,
	0x20837a767ffe9e5c,
	0x20e8823a57adbef9,
	0x218ce77c2b3328fc,
	0x219ce77c2b3328fc,
	0x21ace77c2b3328fc,
	0x21bce77c2b3328fc,
	0x21cce77c2b3328fc,
	0x21dce77c2b3328fc,
	0x21ece77c2b3328fc,
	0x21fce77c2b3328fc,
	0x220ce77c2b3328fc,
	0x221ce77c2b3328fc,
	0x222ce77c2b3328fc,
	0x23692462c52282bd,
	0x240a28877a09a4e0,
	0x244441ed79830181,
	0x245441ed79830182,
	0x246441ed79830182,
	0x247441ed79830182,
	0x249b23b50fc204db,
	0x2541e4ee41180c0a,
	0x276aacfcb88c92d7,
	0x278aacfcb88c92d7,
	0x279b5cd8bbdd8770,
	0x27bbb4c6bd8601be,
	0x27cbb4c6bd8601be,
	0x28306c776866677b,
	0x297c2c31a31998af,
	0x298c2c31a31998af,
	0x299c2c31a31998af,
	0x29ac2c31a31998af,
	0x2beec922478c0421,
	0x2c2379f099a86228,
	0x2da97a2a205f591e,
	0x2dc97a2a205f591e,
	0x2fa387cf9cb4ad4f,
	0x30cddc7e975c5045,
	0x30eddc7e975c5045,
	0x3149190e30e46c1e,
	0x3159190e30e46c1e,
	0x318d2ec75df6ba2a,
	0x31b3b28b27523ea6,
	0x32548050091c3c25,
	0x328f5a18504dfaad,
	0x329f5a18504dfaad,
	0x37f25d342b1e33e5,
	0x3854faba79ea92ec,
	0x3864faba79ea92ec,
	0x38b5d50974bf314f,
	0x3a678cfcab31064d,
	0x3a878cfcab31064c,
	0x3a978cfcab31064c,
	0x3aa78cfcab31064c,
	0x3aaa779772344b2e,
	0x3b156d589dc3d0e3,
	0x3c595ad1185480bd,
	0x3c80e935752cabb9,
	0x3d2101f649f50d9d,
	0x3d9bcea0ec21e251,
	0x3de5c6714def374d,
	0x3e42aac70665485f,
	0x3e54f3d34a0e780d,
	0x3e62aac70665485f,
	0x3e64f3d34a0e780e,
	0x490cd230a7ff47c3,
	0x49630d9a1c3890af,
	0x496fc1562f08f124,
	0x497fc1562f08f124,
	0x499fc1562f08f124,
	0x4b9a32ac316fb3ac,
	0x4baa32ac316fb3ac,
	0x4bba32ac316fb3ab,
	0x4c55fc4c2cb24d29,
	0x4c85564fb098c956,
	0x4cc5e0a2180361db,
	0x4ce5e0a2180361db,
	0x4d8a53bb31b369a1,
	0x4daa53bb31b369a1,
	0x4dba53bb31b369a1,
	0x4dca53bb31b369a1,
	0x4df66a00a69c6c34,
	0x4e99a2c2a34ac2fa,
	0x4ea9a2c2a34ac2fa,
	0x4eb9a2c2a34ac2fa,
	0x4ec9a2c2a34ac2fa,
	0x4ed9a2c2a34ac2fa,
	0x50db3a29c72cab91,
	0x514c84c524ab5eaf,
	0x51e71760b3c0bc13,
	0x52f11926d079e009,
	0x5409d8f9fc2808d3,
	0x54363ed4a60c9c91,
	0x57763ae2caed4528,
	0x57863ae2caed4528,
	0x57d561def4a9ee31,
	0x57e561def4a9ee31,
	0x57f561def4a9ee31,
	0x580561def4a9ee31,
	0x581561def4a9ee31,
	0x582561def4a9ee31,
	0x583561def4a9ee31,
	0x584561def4a9ee31,
	0x585561def4a9ee31,
	0x589bfea915f56a3c,
	0x59d0dd8f2788d699,
	0x5b4eb25e9ea87d98,
	0x5b65ed1f039cebfe,
	0x5beaf5b5378aa2e5,
	0x5c3af5b5378aa2e5,
	0x5c6cf45d333da323,
	0x5c8cf45d333da323,
	0x5d4094f8a44b87ea,
	0x5d5094f8a44b87ea,
	0x5e1780695036a679,
	0x5e2780695036a679,
	0x60d06c3f03862bdd,
	0x61868d1ffa0777c7,
	0x61e288a3443b320b,
	0x63c546c6714d7c6e,
	0x65081511e1b2c2dc,
	0x65f307fcada17cb0,
	0x660307fcada17cb0,
	0x661307fcada17cb0,
	0x672dcfee6690ffc6,
	0x673dcfee6690ffc6,
	0x674dcfee6690ffc6,
	0x67571ec1ba15a8b1,
	0x675dcfee6690ffc7,
	0x678a77581053543b,
	0x67e7127e05b09cda,
	0x67f7127e05b09cda,
	0x6807127e05b09cda,
	0x6817127e05b09cda,
	0x6827127e05b09cda,
	0x69212de7f9578af2,
	0x6aa5eaa9c2aeb774,
	0x6b3ef9beaa7aa584,
	0x6b4ef9beaa7aa584,
	0x6bef20938e7414bb,
	0x6d5b9445072f4375,
	0x6e7e56899011f2ba,
	0x6e9e56899011f2ba,
	0x707f9508f7b6cfb3,
	0x70d8f9a69e7563bd,
	0x714fb4840532a9e6,
	0x728279b2c40fddb7,
	0x737a37935f3b71c8,
};
static struct errol_slab_t errol_enum4_data[466] = {
	{ "45035996273704964", 39 },
	{ "3815292988911787", -153 },
	{ "29480080280199528", 191 },
	{ "44692281266648703", -258 },
	{ "45590931008842566", -95 },
	{ "263283076096885", 116 },
	{ "8660882626541059", 272 },
	{ "23802549887508958", -288 },
	{ "3231978400391448", -205 },
	{ "11148294194316059", -132 },
	{ "4932235094372202", -36 },
	{ "5545129224676696", 67 },
	{ "1579729660450949", 142 },
	{ "64517311884236306", 238 },
	{ "47497368114750945", 299 },
	{ "1939872383554593", -300 },
	{ "3218322462039769", -273 },
	{ "45674628138640346", -231 },
	{ "28150140033551147", -162 },
	{ "28934343554661598", -144 },
	{ "27467428267063488", -116 },
	{ "26426943389906988", -69 },
	{ "5497935665131539", -17 },
	{ "6423716186567956", 57 },
	{ "4328301679886463", 84 },
	{ "52542458920095267", 124 },
	{ "12635241255698069", 184 },
	{ "39779219869333628", 209 },
	{ "24049003101035467", 255 },
	{ "34300126555012788", 290 },
	{ "23707742595255608", 303 },
	{ "156525935750594", -303 },
	{ "4469168098652816", -294 },
	{ "54994366114768736", -281 },
	{ "3548008708901906", -264 },
	{ "30480546357452547", -240 },
	{ "2019986500244655", -206 },
	{ "6471007323490877", -189 },
	{ "45040224053681835", -161 },
	{ "18083964721663499", -145 },
	{ "46294949687458557", -143 },
	{ "47794008763288043", -131 },
	{ "14994742169474769", -107 },
	{ "8252392874408775", -74 },
	{ "74426102121433776", -64 },
	{ "1902412852907436", -25 },
	{ "31687037536784963", -9 },
	{ "22661283172575339", 47 },
	{ "56249190794585755", 63 },
	{ "35386333557774838", 72 },
	{ "21384460625281608", 114 },
	{ "421252921755016", 117 },
	{ "9797712011814919", 136 },
	{ "45095779868958055", 159 },
	{ "1037723813578029", 190 },
	{ "26316426035188758", 194 },
	{ "50964926104335406", 222 },
	{ "36661562120149938", 249 },
	{ "21652206566352648", 272 },
	{ "34643530506164237", 273 },
	{ "47639264836707725", 296 },
	{ "18998947245900378", 300 },
	{ "37263572163337027", 304 },
	{ "8105274399954298", -307 },
	{ "1252207486004752", -302 },
	{ "279323006165801", -295 },
	{ "14876593679693099", -289 },
	{ "30196920764723862", -285 },
	{ "42102548538193536", -275 },
	{ "6819439187504402", -266 },
	{ "4790202125071046", -262 },
	{ "26659194619041378", -248 },
	{ "12192218542981019", -239 },
	{ "59250402719813605", -220 },
	{ "16159892001957239", -205 },
	{ "4431803091515554", -195 },
	{ "7182073260439116", -167 },
	{ "11260056013420459", -161 },
	{ "2523567903248961", -154 },
	{ "45209911804158747", -146 },
	{ "72335858886653996", -145 },
	{ "11573737421864639", -143 },
	{ "65687577493869365", -136 },
	{ "44593176777264236", -132 },
	{ "1652867536403798", -117 },
	{ "41682387786962985", -114 },
	{ "59978968677899076", -107 },
	{ "20011197127335019", -87 },
	{ "28409785190323268", -70 },
	{ "1520865118855779", -65 },
	{ "3372948296445563", -38 },
	{ "475603213226859", -26 },
	{ "44310273383417846", -23 },
	{ "63226123031280186", -11 },
	{ "1951348294374041", -7 },
	{ "3399192475886301", 46 },
	{ "32118580932839778", 57 },
	{ "32985092799227993", 62 },
	{ "1386282306169174", 67 },
	{ "8846583389443709", 71 },
	{ "1614179517443508", 82 },
	{ "3482974734743573", 92 },
	{ "55816446133962727", 114 },
	{ "105313230438754", 117 },
	{ "1685011687020064", 118 },
	{ "9727081811829489", 132 },
	{ "33672457747839218", 138 },
	{ "1834152685964539", 146 },
	{ "20555924814300128", 173 },
	{ "50540965022792275", 184 },
	{ "4150895254312116", 190 },
	{ "6579106508797189", 193 },
	{ "12841718812147129", 199 },
	{ "40933393326155808", 212 },
	{ "78451019754227266", 234 },
	{ "50105430353470027", 248 },
	{ "73323124240299875", 249 },
	{ "7201805647305757", 262 },
	{ "43304413132705296", 272 },
	{ "17321765253082118", 273 },
	{ "55465242769670085", 277 },
	{ "68600253110025576", 290 },
	{ "37049827284413546", 297 },
	{ "9499473622950189", 299 },
	{ "37997894491800756", 300 },
	{ "47415485190511216", 303 },
	{ "4403215243847233", 307 },
	{ "4052637199977149", -307 },
	{ "391314839376485", -304 },
	{ "4971131903427841", -303 },
	{ "37189244174230887", -302 },
	{ "29232758945460627", -298 },
	{ "1117292024663204", -294 },
	{ "37191484199232746", -290 },
	{ "5950637471877239", -289 },
	{ "6437165690795765", -287 },
	{ "27497183057384368", -281 },
	{ "21051274269096768", -275 },
	{ "2228374728894323", -274 },
	{ "3409719593752201", -266 },
	{ "1774004354450953", -264 },
	{ "2395101062535523", -262 },
	{ "5106185698912191", -260 },
	{ "13329597309520689", -248 },
	{ "53318389238082755", -248 },
	{ "6096109271490509", -240 },
	{ "24384437085962037", -239 },
	{ "1846590122393039", -221 },
	{ "26761990828289327", -214 },
	{ "8079946000978619", -206 },
	{ "2717490528888193", -205 },
	{ "2215901545757777", -195 },
	{ "663629462180001", -194 },
	{ "1795518315109779", -167 },
	{ "53583889700087966", -163 },
	{ "5630028006710229", -162 },
	{ "22520112026840918", -161 },
	{ "42879299305192207", -155 },
	{ "5047135806497922", -154 },
	{ "37436263604934127", -149 },
	{ "9041982360831749", -146 },
	{ "36167929443326998", -145 },
	{ "14467171777330799", -144 },
	{ "57868687109323196", -144 },
	{ "23147474843729279", -143 },
	{ "5033183761326151", -143 },
	{ "27870735485790148", -133 },
	{ "22296588388632118", -132 },
	{ "11948502190822011", -131 },
	{ "4132168841009495", -118 },
	{ "6611470145615192", -117 },
	{ "54934856534126976", -116 },
	{ "74973710847373845", -108 },
	{ "29989484338949538", -107 },
	{ "22520091703825729", -96 },
	{ "5002799281833755", -88 },
	{ "32943123175907307", -78 },
	{ "2640765719810808", -72 },
	{ "56819570380646536", -70 },
	{ "1426989259361117", -68 },
	{ "37213051060716888", -64 },
	{ "51091836539008967", -47 },
	{ "2466117547186101", -36 },
	{ "32849406733814457", -34 },
	{ "951206426453718", -26 },
	{ "3804825705814872", -25 },
	{ "4885506904107883", -20 },
	{ "2933586004318867", -16 },
	{ "7921759384196241", -10 },
	{ "1738509105540162", -7 },
	{ "39026965887480817", -7 },
	{ "8034137530808823", 44 },
	{ "5665320793143835", 46 },
	{ "16059290466419889", 57 },
	{ "6013265967485603", 57 },
	{ "42859354584576066", 61 },
	{ "14062297698646439", 63 },
	{ "69314115308458695", 66 },
	{ "2772564612338348", 67 },
	{ "44232916947218547", 71 },
	{ "17693166778887419", 72 },
	{ "70772667115549675", 72 },
	{ "6456718069774032", 82 },
	{ "3588703015985849", 87 },
	{ "47515954917074126", 98 },
	{ "42768921250563217", 114 },
	{ "1316415380484425", 116 },
	{ "52656615219377", 116 },
	{ "210626460877508", 117 },
	{ "842505843510032", 117 },
	{ "3370023374040128", 118 },
	{ "4459606684033441", 125 },
	{ "38908327247317957", 133 },
	{ "39190848047259677", 137 },
	{ "36927280332359847", 139 },
	{ "3159459320901898", 142 },
	{ "3668305371929078", 146 },
	{ "6341013498592991", 162 },
	{ "48793894436576386", 179 },
	{ "25270482511396138", 184 },
	{ "51886190678901447", 189 },
	{ "2075447627156058", 190 },
	{ "83017905086242315", 190 },
	{ "32895532543985947", 193 },
	{ "13158213017594379", 194 },
	{ "52632852070377516", 194 },
	{ "4507281245523313", 205 },
	{ "79558439738667255", 209 },
	{ "3042343142408013", 219 },
	{ "3509249584028482", 225 },
	{ "19852517257680211", 236 },
	{ "39422120694202386", 244 },
	{ "1833078106007497", 249 },
	{ "3666156212014994", 249 },
	{ "7332312424029988", 249 },
	{ "2404900310103547", 255 },
	{ "56348546058834866", 265 },
	{ "2165220656635265", 272 },
	{ "433044131327053", 272 },
	{ "866088262654106", 272 },
	{ "1732176525308212", 273 },
	{ "3464353050616424", 273 },
	{ "5546524276967009", 277 },
	{ "3430012655501279", 290 },
	{ "6860025311002558", 290 },
	{ "4763926483670773", 296 },
	{ "3704982728441355", 297 },
	{ "4749736811475095", 299 },
	{ "949947362295019", 299 },
	{ "1899894724590038", 300 },
	{ "3799789449180076", 300 },
	{ "2370774259525561", 303 },
	{ "4741548519051122", 303 },
	{ "3726357216333703", 304 },
	{ "17976931348623157", 309 },
	{ "40526371999771488", -307 },
	{ "81052743999542975", -307 },
	{ "1956574196882425", -304 },
	{ "78262967875297", -304 },
	{ "313051871501188", -303 },
	{ "626103743002376", -303 },
	{ "2504414972009504", -302 },
	{ "5008829944019008", -302 },
	{ "3879744767109186", -300 },
	{ "1396615030829005", -295 },
	{ "558646012331602", -295 },
	{ "2234584049326408", -294 },
	{ "69928982131052126", -291 },
	{ "7438296839846549", -290 },
	{ "29753187359386197", -289 },
	{ "11901274943754479", -288 },
	{ "47605099775017915", -288 },
	{ "15098460382361931", -285 },
	{ "60393841529447725", -285 },
	{ "2749718305738437", -281 },
	{ "5499436611476874", -281 },
	{ "2105127426909677", -275 },
	{ "4210254853819354", -275 },
	{ "4456749457788646", -274 },
	{ "34097195937522008", -266 },
	{ "68194391875044016", -266 },
	{ "17740043544509529", -264 },
	{ "35480087089019057", -264 },
	{ "23951010625355228", -262 },
	{ "47902021250710456", -262 },
	{ "51061856989121905", -260 },
	{ "22346140633324351", -258 },
	{ "53263359599109627", -252 },
	{ "1332959730952069", -248 },
	{ "2665919461904138", -248 },
	{ "5331838923808276", -248 },
	{ "3048054635745255", -240 },
	{ "609610927149051", -240 },
	{ "1219221854298102", -239 },
	{ "2438443708596204", -239 },
	{ "4567462813864035", -231 },
	{ "3693180244786078", -221 },
	{ "5925040271981361", -220 },
	{ "2676199082828933", -214 },
	{ "403997300048931", -206 },
	{ "807994600097862", -206 },
	{ "1615989200195724", -205 },
	{ "32319784003914477", -205 },
	{ "22159015457577768", -195 },
	{ "44318030915155535", -195 },
	{ "3318147310900005", -194 },
	{ "64710073234908765", -189 },
	{ "75862936714499446", -176 },
	{ "3591036630219558", -167 },
	{ "38114390291351186", -166 },
	{ "5358388970008797", -163 },
	{ "2815014003355115", -162 },
	{ "563002800671023", -162 },
	{ "1126005601342046", -161 },
	{ "2252011202684092", -161 },
	{ "4504022405368184", -161 },
	{ "25235679032489608", -154 },
	{ "50471358064979216", -154 },
	{ "38152929889117867", -153 },
	{ "4648842410144081", -151 },
	{ "3743626360493413", -149 },
	{ "4520991180415875", -146 },
	{ "904198236083175", -146 },
	{ "180839647216635", -145 },
	{ "36167929443327", -145 },
	{ "72335858886654", -145 },
	{ "144671717773308", -144 },
	{ "289343435546616", -144 },
	{ "578686871093232", -144 },
	{ "1157373742186464", -143 },
	{ "2314747484372928", -143 },
	{ "4629494968745856", -143 },
	{ "42225432151248827", -137 },
	{ "44986453555921307", -134 },
	{ "55741470971580295", -133 },
	{ "1114829419431606", -132 },
	{ "2229658838863212", -132 },
	{ "4459317677726424", -132 },
	{ "23897004381644022", -131 },
	{ "32269008655522087", -128 },
	{ "826433768201899", -118 },
	{ "3305735072807596", -117 },
	{ "67817280930489786", -117 },
	{ "2746742826706349", -116 },
	{ "5493485653412698", -116 },
	{ "4168238778696299", -114 },
	{ "7497371084737385", -108 },
	{ "1499474216947477", -107 },
	{ "2998948433894954", -107 },
	{ "5997896867789908", -107 },
	{ "45040183407651457", -96 },
	{ "4559093100884257", -95 },
	{ "10005598563667509", -87 },
	{ "40022394254670037", -87 },
	{ "3294312317590731", -78 },
	{ "1320382859905404", -72 },
	{ "5281531439621616", -72 },
	{ "2840978519032327", -70 },
	{ "5681957038064654", -70 },
	{ "52853886779813977", -69 },
	{ "2853978518722234", -68 },
	{ "3041730237711558", -65 },
	{ "3721305106071689", -64 },
	{ "7442610212143378", -64 },
	{ "33729482964455627", -38 },
	{ "24661175471861008", -36 },
	{ "49322350943722016", -36 },
	{ "16424703366907229", -34 },
	{ "2378016066134295", -26 },
	{ "9512064264537179", -26 },
	{ "19024128529074359", -25 },
	{ "38048257058148717", -25 },
	{ "42759994497846727", -25 },
	{ "4431027338341785", -23 },
	{ "54979356651315386", -17 },
	{ "29335860043188667", -16 },
	{ "3021168083759621", -13 },
	{ "6322612303128019", -11 },
	{ "15843518768392481", -9 },
	{ "869254552770081", -8 },
	{ "19513482943740408", -7 },
	{ "3477018211080324", -7 },
	{ "3902696588748082", -7 },
	{ "80341375308088225", 44 },
	{ "33991924758863007", 46 },
	{ "56653207931438347", 46 },
	{ "11330641586287669", 47 },
	{ "45322566345150677", 47 },
	{ "1605929046641989", 57 },
	{ "3211858093283978", 57 },
	{ "64237161865679556", 57 },
	{ "55202181816261166", 60 },
	{ "4285935458457607", 61 },
	{ "7031148849323219", 62 },
	{ "28124595397292878", 63 },
	{ "34657057654229348", 66 },
	{ "13862823061691739", 67 },
	{ "27725646123383478", 67 },
	{ "55451292246766956", 67 },
	{ "3776763733298609", 68 },
	{ "4423291694721855", 71 },
	{ "884658338944371", 71 },
	{ "1769316677888742", 72 },
	{ "3538633355777484", 72 },
	{ "7077266711554968", 72 },
	{ "3228359034887016", 82 },
	{ "43283016798864627", 84 },
	{ "35887030159858487", 87 },
	{ "34829747347435726", 92 },
	{ "6901257826767179", 97 },
	{ "4751595491707413", 98 },
	{ "2138446062528161", 114 },
	{ "4276892125056322", 114 },
	{ "13164153804844249", 116 },
	{ "26328307609688498", 116 },
	{ "52656615219376996", 116 },
	{ "10531323043875399", 117 },
	{ "21062646087750798", 117 },
	{ "42125292175501597", 117 },
	{ "8425058435100319", 117 },
	{ "16850116870200639", 118 },
	{ "33700233740401277", 118 },
	{ "7059520027153709", 119 },
	{ "44596066840334405", 125 },
	{ "6808957268280643", 132 },
	{ "19454163623658978", 133 },
	{ "61235700073843246", 135 },
	{ "19595424023629839", 137 },
	{ "16836228873919609", 138 },
	{ "67344915495678436", 138 },
	{ "15797296604509488", 142 },
	{ "31594593209018977", 142 },
	{ "18341526859645389", 146 },
	{ "36683053719290777", 146 },
	{ "22547889934479028", 159 },
	{ "63410134985929905", 162 },
	{ "3335268166877591", 164 },
	{ "41111849628600257", 173 },
	{ "4879389443657639", 179 },
	{ "1263524125569807", 184 },
	{ "2527048251139614", 184 },
	{ "5054096502279228", 184 },
	{ "10377238135780289", 190 },
	{ "20754476271560579", 190 },
	{ "41508952543121158", 190 },
	{ "6438249631475533", 190 },
	{ "8301790508624232", 190 },
	{ "58960160560399056", 191 },
	{ "3289553254398595", 193 },
	{ "657910650879719", 193 },
	{ "1315821301759438", 194 },
	{ "2631642603518876", 194 },
	{ "5263285207037752", 194 },
	{ "25683437624294257", 199 },
	{ "54971967907878166", 206 },
	{ "3977921986933363", 209 },
	{ "7955843973866726", 209 },
	{ "81866786652311615", 212 },
	{ "6084686284816026", 219 },
	{ "1754624792014241", 225 },
	{ "7018499168056964", 225 },
	{ "7845101975422727", 234 },
	{ "39705034515360423", 236 },
	{ "6451731188423631", 238 },
	{ "3942212069420239", 244 },
	{ "18330781060074969", 249 },
};
